Abstract Interpretation of Combinational Asynchronous Circuits

نویسندگان

  • Sarah Thompson
  • Alan Mycroft
چکیده

Interpretation of Combinational Asynchronous Circuits Sarah Thompson, Alan Mycroft Computer Laboratory, University of Cambridge, William Gates Building, JJ Thompson Avenue, Cambridge, CB3 0FD, UK

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Definite Asynchronous Sequential Circuits

An asynchronous unit delay is an n input n output of the input n-tuple prior to the last inlput change. It asynchronous sequential circuit in which the present value of the will then be shown that every asynchronous definite flow output n-tuple is equal to the value of the input n-tuple prior to the last input change. This paper considers the problem of determining ablecan brizeday a fee bac r ...

متن کامل

Statically Analysing the Dynamic Behaviour of Asynchronous Circuits by Abstract Interpretation

Interpretation is a long-established mathematical approach that has the capability to statically analyse the dynamic properties of a system. Traditionally, it has been applied to software, allowing useful information about the run-time properties of programs to be determined without requiring them to be executed. This paper presents an abstract interpretation framework that allows dynamic prope...

متن کامل

Design of Asynchronous Circuits Assuming Unbounded Gate Delays

This paper considers the general problem of the synthesis of asynchronous combinational and sequential circuits based on the assumption that gate delays may be unbounded and that line delays are suitably constrained. Certain problems inherent to circuit realizations with unbounded gate delays are discussed and methods of solving them are proposed. Specific synthesis techniques are presented for...

متن کامل

Examples of Models of the Asynchronous Circuits

The notion of limit condition that we propose is a generalization of the delay condition [1], [2], including the models of the delay circuits, of the C elements of Muller and of the combinational circuits.

متن کامل

Designing Asynchronous Sequential Circuits for Random Pattern Testability

A resurgence of interest in asynchronous VLSI circuits is occurring because of their potential for low power consumption, design flexibility and the absence of the clock skew problem. In this paper, an approach to the design of asynchronous sequential circuits for random pattern testability based on the micropipeline design style is described. The test procedure for such asynchronous sequential...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:
  • Sci. Comput. Program.

دوره 64  شماره 

صفحات  -

تاریخ انتشار 2004